ابن بهأالدین محمد. شاگرد محقق قمی ابوالقاسم بود و ’قوانین الاصول’ او را شرح کرد، که در حاشیۀ قوانین در 1303هجری قمری چاپ شده است. (ذریعه ج 4 ص 494 و ج 6 ص 176)
ابن بهأالدین محمد. شاگرد محقق قمی ابوالقاسم بود و ’قوانین الاصول’ او را شرح کرد، که در حاشیۀ قوانین در 1303هجری قمری چاپ شده است. (ذریعه ج 4 ص 494 و ج 6 ص 176)
